Перевод: со всех языков на английский

с английского на все языки

chain of proofs

См. также в других словарях:

  • Chain rule — For other uses, see Chain rule (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation …   Wikipedia

  • Kempe chain — In mathematics, a Kempe chain is a device used mainly in the study of the four colour theorem. History Kempe chains were first used by Alfred Kempe in his attempted proof of the four colour theorem. Even though his proof turned out to be… …   Wikipedia

  • Kolmogorov complexity — In algorithmic information theory (a subfield of computer science), the Kolmogorov complexity of an object, such as a piece of text, is a measure of the computational resources needed to specify the object. It is named after Soviet Russian… …   Wikipedia

  • MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT …   Encyclopedia of Judaism

  • Orders, decorations, and medals of the United Kingdom — The British honours system is a means of rewarding individuals personal bravery, achievement, or service to the United Kingdom and the British Overseas Territories. The system consists of three types of award: honours, decorations and medals:… …   Wikipedia

  • Itō calculus — Itō calculus, named after Kiyoshi Itō, extends the methods of calculus to stochastic processes such as Brownian motion (Wiener process). It has important applications in mathematical finance and stochastic differential equations.The central… …   Wikipedia

  • Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium

  • Four color theorem — Example of a four colored map A four colori …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia

  • Declining a British honour — The following is a partial list of people who have declined a British honour, such as a knighthood or an honour, usually within the Order of the British Empire. In most cases, the honour was rejected privately; others were rejected publicly, or… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»